33 results
George Boole. Selected manuscripts on logic and its philosophy. Edited by Ivor Grattan-Guinness and Gérard Bornet. Science networks historical studies, vol. 20. Birkhäuser Verlag, Basel, Boston, and Berlin, 1997, lxiv + 236 pp. - Ivor Grattan-Guinness. Boole's quest for the foundations of his logic. Therein, pp. xiii–xlvii. - Gérard Bornet. Boole's psychologism as a reception problem. Therein, pp. xlvii–lviii.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 332-333
- Print publication:
- March 1998
-
- Article
- Export citation
G. C. Smith. The Boole-De Morgan correspondence 1842–1864. Oxford logic guides. Clarendon Press, Oxford University Press, Oxford and New York1982, vii + 156 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 657-659
- Print publication:
- June 1984
-
- Article
- Export citation
Rolf Schock. Contributions to syntax, semantics, and the philosophy of science. Notre Dame journal of formal logic, vol. 5 no. 4 (for 1964, pub. 1965), pp. 241–289.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 423
- Print publication:
- June 1972
-
- Article
- Export citation
H. Leblanc and R. H. Thomason. Completeness theorems for some presupposition-free logics. Fundamenta mathematicae, vol. 62 no. 2 (1968), pp. 125–164.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 424-425
- Print publication:
- June 1972
-
- Article
- Export citation
Rolf Schock. Logics without existence assumptions. Almqvist & Wiksell, Stockholm1968, 134 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 424
- Print publication:
- June 1972
-
- Article
- Export citation
David Pager. An emendation of the axiom system of Hilbert and Ackermann for the restricted calculus of predicates. The journal of symbolic logic, vol. 27 no. 2 (for 1962, pub. 1963), pp. 131–138.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 520
- Print publication:
- 17 November 1969
-
- Article
- Export citation
C. C. Chang and H. Jerome Keisler. An improved prenex nomal form. The journal of symbolic logic, vol. 27 no. 3 (for 1962, pub. 1963), pp. 317–326.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 479
- Print publication:
- 10 October 1968
-
- Article
- Export citation
John T. Kearns. Quantifiers and universal validity. Logique et analyse, n.s. vol. 9 (1966), pp. 298–309. - George Goe. A reconstruction of formal logic. Notre Dame journal of formal logic, vol. 7 (1966), pp. 129–157. - George Goe. Corrections to my paper “A reconstruction of formal logic.”Notre Dame journal of formal logic, vol. 7 (1966), p. 158.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 137-138
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Karel Lambert. Notes on “E!“: II. Philosophical studies (Minneapolis), vol. 12 (1961), pp. 1–5.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 251
- Print publication:
- August 1967
-
- Article
- Export citation
Karel Lambert. Notes on E! III: A theory of descriptions. Philosophical studies (Minneapolis), vol. 13 (1962), pp. 51–59. - Jaakko Hintikka. Definite descriptions and self-identity.Philosophical studies (Minneapolis), vol. 15 (1964), pp. 5–7. - Karel Lambert. Notes on E! IV. Philosophical studies (Minneapolis), vol. 15 (1964), pp. 85–88. (See Errata, ibid., vol. 16 (1965), p. 48.) - Karel Lambert. Definite descriptions and self-identity. II. Philosophical studies (Minneapolis), vol. 15 (1964), vol. 17 (1966), pp. 35–43.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 252
- Print publication:
- August 1967
-
- Article
- Export citation
Nicholas Rescher. Definitions of “existence.”Philosophical studies (Minneapolis), vol. 8 (1957), pp. 65–69. - Karel Lambert. Notes on “E!”. Philosophical studies (Minneapolis), vol. 9 (1958), pp. 60–63.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 251
- Print publication:
- August 1967
-
- Article
- Export citation
Max Beberman and Herbert E. Vaughan. High school mathematics. Course 2. Plane geometry with appendices on logic and solid geometry. D. C. Heath and Company, Boston, Englewood, Chicago, San Francisco, Atlanta, Dallas, London, and Toronto, 1965, xi + 584 pp. - Max Beberman and Herbert E. Vaughan. High school mathematics. Course 2. Plane geometry with appendices on logic and solid geometry. Teacher's edition. D. C. Heath and Company, Boston, Englewood, Chicago, San Francisco, Atlanta, Dallas, London, and Toronto, 1965, 608 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 672-673
- Print publication:
- December 1966
-
- Article
- Export citation
Max Beberman and Herbert E. Vaughan. High school mathematics. Course 1. Revised edition of XXX 401(10–13). D. C. Heath and Company, Boston1964, ix + 598 pp. - Max Beberman and Herbert E. Vaughan. High school mathematics. Course 1. Teacher's edition. Revised edition of XXX 401(14–17). D. C Heath and Company, Boston1964, pages irregularly numbered. (The pages of the students' edition are reproduced with their same numbers, and with most pages, added material for the teacher is inserted on extra pages.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 111-112
- Print publication:
- March 1966
-
- Article
- Export citation
Hubert H. Schneider. Semantics of the predicate calculus with identity and the validity in the empty individual-domain. Portugaliae mathematica, vol. 17 (1958), pp. 85–96. - Hubert H. Schneider. A syntactical characterization of the predicate calculus with identity and the validity in all individual-domains. Portugaliae mathematica, vol 20 (1961), pp. 105–117.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 385-386
- Print publication:
- September 1965
-
- Article
- Export citation
An incorrect theorem1
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 27
- Print publication:
- March 1965
-
- Article
- Export citation
Leon Henkin, W. Norman Smith, Verne J. Varineau, Michael J. Walsh. Retracing elementary mathematics. The Macmillan Company, New York1962, xviii + 418 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 209
- Print publication:
- December 1964
-
- Article
- Export citation
Leon Henkin. Mathematical induction. MAA film manual no. 1. The Mathematical Association of America, University of Buffalo, Buffalo, N.Y., 1961, v + 21 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 209
- Print publication:
- December 1964
-
- Article
- Export citation
B. H. Arnold. Logic and Boolean algebra. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1962, viii + 144 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 95-96
- Print publication:
- June 1964
-
- Article
- Export citation
William H. Halberstadt. An introduction to modern logic. An elementary textbook of symbolic logic. Harper & Brothers, New York1960, xii + 221 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 43
- Print publication:
- March 1964
-
- Article
- Export citation
Günter Asser and Karl Schröter. Axiomatisierung der k-zahlig allgemeingültigen Ausdrücke des Stufenkalküls. Mathematische Nachrichten, vol. 19 no. 1–6 (1958), pp. 73–86.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 176
- Print publication:
- June 1960
-
- Article
- Export citation